package solvers;
public abstract class AbstractTF {
	
}
